Finding of k in Fagin's R. Theorem 24
نویسنده
چکیده
By using of analytical multi-logic expresses in conjunction with non-deterministic Turing machine the proposition was proved that algorithm of deterministic Turing counter machine of polynomial time complexity can be decreased to the algorithm of linear time complexity in non-deterministic Turing counter machine. Furthermore, it was shown that existence of reduction of polynomial time complexity to the linear time complexity by switching from deterministic to non-deterministic Turing machine for string recognition imply P equals to NP. Thereto, analytical generation functions of higher order logic were used for finding of k value in Fagin’s R. Theorem 24. Keywords— Deterministic Turing machine; linear time complexity; non deterministic Turing machine; NP time complexity; P time complexity
منابع مشابه
Unique common coupled fixed point theorem for four maps in $S_b$-metric spaces
In this paper we prove a unique common coupled fixed point theorem for two pairs of $w$-compatible mappings in $S_b$-metric spaces satisfying a contrctive type condition. We furnish an example to support our main theorem. We also give a corollary for Junck type maps.
متن کاملA GENERALIZATION OF A JACOBSON’S COMMUTATIVITY THEOREM
In this paper we study the structure and the commutativity of a ring R, in which for each x,y ? R, there exist two integers depending on x,y such that [x,y]k equals x n or y n.
متن کاملA unique common fixed point theorem for six maps in g-metric spaces
In this paper we obtain a unique common xed point theorem for sixweakly compatible mappings in G-metric spaces.
متن کاملFunctionally closed sets and functionally convex sets in real Banach spaces
Let $X$ be a real normed space, then $C(subseteq X)$ is functionally convex (briefly, $F$-convex), if $T(C)subseteq Bbb R $ is convex for all bounded linear transformations $Tin B(X,R)$; and $K(subseteq X)$ is functionally closed (briefly, $F$-closed), if $T(K)subseteq Bbb R $ is closed for all bounded linear transformations $Tin B(X,R)$. We improve the Krein-Milman theorem ...
متن کاملConstruction of measures of noncompactness of $C^k(Omega)$ and $C^k_0$ and their application to functional integral-differential equations
In this paper, first, we investigate the construction of compact sets of $ C^k$ and $ C_0^k$ by proving ``$C^k, C_0^k-version$" of Arzel`{a}-Ascoli theorem, and then introduce new measures of noncompactness on these spaces. Finally, as an application, we study the existence of entire solutions for a class of the functional integral-differential equations by using Darbo's fixe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1012.5804 شماره
صفحات -
تاریخ انتشار 2010